Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Print dots in background to prevent circle CI from timing out #6614

Merged
merged 1 commit into from
Apr 29, 2019

Conversation

bshastry
Copy link
Contributor

closes #6613

…t because nothing was flushed to stdout in over 10 minutes
@codecov
Copy link

codecov bot commented Apr 29, 2019

Codecov Report

Merging #6614 into develop will increase coverage by <.01%.
The diff coverage is n/a.

Impacted file tree graph

@@             Coverage Diff             @@
##           develop    #6614      +/-   ##
===========================================
+ Coverage    87.92%   87.92%   +<.01%     
===========================================
  Files          395      395              
  Lines        38531    38533       +2     
  Branches      4527     4527              
===========================================
+ Hits         33880    33882       +2     
  Misses        3120     3120              
  Partials      1531     1531
Flag Coverage Δ
#all 87.92% <ø> (ø) ⬆️
#syntax 26.31% <ø> (ø) ⬆️

@chriseth chriseth merged commit cc5c899 into develop Apr 29, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

[ossfuzz] nightly CI times out because of no console output for over 10 minutes
3 participants